test([[0x12345678], [0x12, 0x34, 0x56, 0x78]]);
